Lucid, a nonprocedural language with iteration
نویسندگان
چکیده
منابع مشابه
From Lucid to TransLucid: Iteration, Dataflow, Intensional and Cartesian Programming
We present the development of the Lucid language from the Original Lucid of the mid1970s to the TransLucid of today. Each successive version of the language has been a generalisation of previous languages, but with a further understanding of the problems at hand. The Original Lucid (1976), originally designed for purposes of formal verification, was used to formalise the iteration in while-loop...
متن کاملML–Lucid, an intensional functional language
In this paper, we define the ML-Lucid programming language, a generalization of Lucid and of the functional part of ML. ML-Lucid is a multi-dimensional language, and dimensions can be defined to be any ML data type. All functional ML objects can be used as the atomic objects of Lucid. The semantic of ML-Lucid are given using a Kripke semantics, where the universe of possible worlds is the arbit...
متن کاملMultidimensional infinite data in the language Lucid
Although the language Lucid was not originally intended to support computing with infinite data structures, the notion of (infinite) sequence quickly came to the fore, together with a demanddriven computation model in which demands are propagated for the values of particular values at particular index points. This naturally generalized to sequences of multiple dimensions so that a programmer co...
متن کاملvalidation of a revised logical-mathematical intelligence scale and exploring its relationship with english language proficiency
نظریه هوش چندگانه قسمتهای متفاوت هوش بشری را مورد بررسی قرار می دهد که با شناخت آن شخص به درک بهتری از توانایی های خود میرسد و در نتیجه سعی در استفاده از آن جهت یادگیری بهتر میکند. همچنین با شناخت استعداد دانش آموزان، فرایند یادگیری بهتر میشود. هدف از انجام دادن این تحقیق بررسی رابطه بین هوش ریاضی و استعداد یادگیری زبان انگلیسی میباشد. برای انجام این تحقیق از پرسشنامه هوش ریاضی که توسط شیرر در ...
Approximate Policy Iteration with a Policy Language Bias
We explore approximate policy iteration (API), replacing the usual costfunction learning step with a learning step in policy space. We give policy-language biases that enable solution of very large relational Markov decision processes (MDPs) that no previous technique can solve. In particular, we induce high-quality domain-specific planners for classical planning domains (both deterministic and...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Communications of the ACM
سال: 1977
ISSN: 0001-0782,1557-7317
DOI: 10.1145/359636.359715